Nuprl Definition : fifoC
11,40
postcript
pdf
ff
.C == let
C
,
T
,
S
,
R
,
code
,
decode
,
p
=
ff
in
C
latex
Definitions
let
a
,
b
,
c
,
d
,
e
,
f
,
g
=
u
in
v
(
a
;
b
;
c
;
d
;
e
;
f
;
g
)
FDL editor aliases
fifoC
origin